Discovery-led refinement in e-discovery investigations: sensemaking, cognitive ergonomics and system design.

Given the very large numbers of documents involved in e-discovery investigations, lawyers face a considerable challenge of collaborative sensemaking. We report findings from three workplace studies which looked at different aspects of how this challenge was met. From a sociotechnical perspective, the studies aimed to understand how investigators collectively and individually worked with information to support sensemaking and decision making. Here, we focus on discovery-led refinement; specifically, how engaging with the materials of the investigations led to discoveries that supported refinement of the problems and new strategies for addressing them. These refinements were essential for tractability. We begin with observations which show how new lines of enquiry were recursively embedded. We then analyse the conceptual structure of a line of enquiry and consider how reflecting this in e-discovery support systems might support scalability and group collaboration. We then focus on the individual activity of manual document review where refinement corresponded with the inductive identification of classes of irrelevant and relevant documents within a collection. Our observations point to the effects of priming on dealing with these efficiently and to issues of cognitive ergonomics at the human–computer interface. We use these observations to introduce visualisations that might enable reviewers to deal with such refinements more efficiently

A Study of Integration: The Role of Sensus Communis in Integrating Disciplinary Knowledge

Integration is an important notion for interdisciplinary studies. Achieving this shows that the interdisciplinary learner has successfully understood the commonalities among disciplines, as well as exercised crucial cognitive skills. This chapter attempts to elucidate how students integrated various disciplinary perspectives in the interdisciplinary course, Weird Science: Interpreting and Redefining Humanity. The study uses Hans-Georg Gadamer’s notion of the sensus communis to clarify how it was that students were processing and accomplishing the goal of integrating different disciplinary perspectives as evidenced in class observation, discussion, and especially student papers. The study demonstrates the ways in which common sense knowledge conditions and enables the integration process

An implementation of Deflate in Coq

The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to fix this problem by giving a rigorous mathematical specification, which we formalized in Coq. We produced a verified implementation in Coq which achieves competitive performance on inputs of several megabytes. In this paper we present the several parts of our implementation: a fully verified implementation of canonical prefix-free codings, which can be used in other compression formats as well, and an elegant formalism for specifying sophisticated formats, which we used to implement both a compression and decompression algorithm in Coq which we formally prove inverse to each other -- the first time this has been achieved to our knowledge. The compatibility to other Deflate implementations can be shown empirically. We furthermore discuss some of the difficulties, specifically regarding memory and runtime requirements, and our approaches to overcome them

Quantitative Measurement and Imaging of Metal Fatigue

A simple electrochemical technique is described, which images and quantitatively measures the distribution and severity of fatigue damage in aluminum alloys. The technique is based upon (i) the creation of microcracks in a surface anodic oxide film during fatigue of the underlying metal, and (ii) the detection of these microcracks by contacting the surface with a gel electrode. When a voltage pulse is applied, current passes through the fatigue—induced microcracks in the oxide film, and an image of the sites of current flow is retained in the surface of the gel. The capabilities of the technique are illustrated by measurements on 6061-T6, 7075-T6 and 2024-T4 aluminum. The electrochemically formed images correlated directly with scanning electron micrographs of the specimens. Hairline fatigue cracks ≥10 μm long are easily imaged, while the charge flow during the formation of the image is a quantitative measure of the crack length. The accumulation of fatigue deformation prior to the appearance of a fatigue crack is also detected, and in this regard the sensitivity of the gel electrode exceeds that of a scanning electron microscope. The distribution of fatigue deformation may be mapped as early as 1% of the fatigue life, and the charge flow to the regions of most severe damage increases systematically with fatigue cycling as the density of microcracks in the oxide increases. The simplicity of this electrochemical gel electrode method renders it directly applicable to field investigations, and provides a new tool for quantitatively assessing the distribution of fatigue damage

The Near-Sun Streamer Belt Solar Wind: Turbulence and Solar Wind Acceleration

The fourth orbit of Parker Solar Probe (PSP) reached heliocentric distances down to 27.9 Rs, allowing solar wind turbulence and acceleration mechanisms to be studied in situ closer to the Sun than previously possible. The turbulence properties were found to be significantly different in the inbound and outbound portions of PSP's fourth solar encounter, likely due to the proximity to the heliospheric current sheet (HCS) in the outbound period. Near the HCS, in the streamer belt wind, the turbulence was found to have lower amplitudes, higher magnetic compressibility, a steeper magnetic field spectrum (with spectral index close to -5/3 rather than -3/2), a lower Alfv\'enicity, and a "1/f" break at much lower frequencies. These are also features of slow wind at 1 au, suggesting the near-Sun streamer belt wind to be the prototypical slow solar wind. The transition in properties occurs at a predicted angular distance of ~4{\deg} from the HCS, suggesting ~8{\deg} as the full-width of the streamer belt wind at these distances. While the majority of the Alfv\'enic turbulence energy fluxes measured by PSP are consistent with those required for reflection-driven turbulence models of solar wind acceleration, the fluxes in the streamer belt are significantly lower than the model predictions, suggesting that additional mechanisms are necessary to explain the acceleration of the streamer belt solar wind

Isabelle/DOF: Design and Implementation

This is the author accepted manuscript. The final version is available from Springer Verlag via the DOI in this record17th International Conference, SEFM 2019 Oslo, Norway, September 18–20, 2019DOF is a novel framework for defining ontologies and enforcing them during document development and evolution. A major goal of DOF is the integrated development of formal certification documents (e. g., for Common Criteria or CENELEC 50128) that require consistency across both formal and informal arguments. To support a consistent development of formal and informal parts of a document, we provide Isabelle/DOF, an implementation of DOF on top of the formal methods framework Isabelle/HOL. A particular emphasis is put on a deep integration into Isabelleâs IDE, which allows for smooth ontology development as well as immediate ontological feedback during the editing of a document. In this paper, we give an in-depth presentation of the design concepts of DOFâs Ontology Definition Language (ODL) and key aspects of the technology of its implementation. Isabelle/DOF is the first ontology language supporting machine-checked links between the formal and informal parts in an LCF-style interactive theorem proving environment. Sufficiently annotated, large documents can easily be developed collabo- ratively, while ensuring their consistency, and the impact of changes (in the formal and the semi-formal content) is tracked automatically.IRT SystemX, Paris-Saclay, Franc

Hyperthyroidism as a reversible cause of right ventricular overload and congestive heart failure

We describe a case of severe congestive heart failure and right ventricular overload associated with overt hyperthyroidism, completely reversed with antithyroid therapy in a few week. It represents a very unusual presentation of overt hyperthyroidism because of the severity of right heart failure. The impressive right ventricular volume overload made mandatory to perform transesophageal echo and angio-TC examination to exclude the coexistence of ASD or anomalous pulmonary venous return. Only a few cases of reversible right heart failure, with or without pulmonary hypertension, have been reported worldwide. In our case the most striking feature has been the normalization of the cardiovascular findings after six weeks of tiamazole therapy

Rmi1 stimulates decatenation of double Holliday junctions during dissolution by Sgs1-Top3

double Holliday junction (dHJ) is a central intermediate of homologous recombination that can be processed to yield crossover or non-crossover recombination products. To preserve genomic integrity, cells possess mechanisms to avoid crossing over. We show that Saccharomyces cerevisiae Sgs1 and Top3 proteins are sufficient to migrate and disentangle a dHJ to produce exclusively non-crossover recombination products, in a reaction termed "dissolution." We show that Rmi1 stimulates dHJ dissolution at low Sgs1-Top3 protein concentrations, although it has no effect on the initial rate of Holliday junction (HJ) migration. Rmi1 serves to stimulate DNA decatenation, removing the last linkages between the repaired and template DNA molecules. Dissolution of a dHJ is a highly efficient and concerted alternative to nucleolytic resolution that prevents crossing over of chromosomes during recombinational DNA repair in mitotic cells and thereby contributes to genomic integrity